BUG_ON(clear_PGC_allocate && (page_get_owner(page) == NULL));
domain_put_page(d, mpaddr, pte, old_pte, clear_PGC_allocate);
- perfc_incr(zap_dcomain_page_one);
+ perfc_incr(zap_domain_page_one);
}
unsigned long
// mm.c
PERFCOUNTER(assign_domain_page_replace, "assign_domain_page_replace")
PERFCOUNTER(assign_domain_pge_cmpxchg_rel, "assign_domain_pge_cmpxchg_rel")
-PERFCOUNTER(zap_dcomain_page_one, "zap_dcomain_page_one")
+PERFCOUNTER(zap_domain_page_one, "zap_domain_page_one")
PERFCOUNTER(dom0vp_zap_physmap, "dom0vp_zap_physmap")
PERFCOUNTER(dom0vp_add_physmap, "dom0vp_add_physmap")
PERFCOUNTER(create_grant_host_mapping, "create_grant_host_mapping")